\begin{tabbing}
d{-}partial{-}world($D$;$f$;${\it t'}$;$s$;$d$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$<\lambda$$i$,$x$. M($i$).ds($x$)\+
\\[0ex], $\lambda$$i$,$a$. M($i$).da(locl($a$))
\\[0ex], $\lambda$$l$,${\it tg}$. M(source($l$)).dout($l$,${\it tg}$)
\\[0ex], $\lambda$$i$,$t$. if $t$ $<$z ${\it t'}$ then ($f$($t$,$i$)).1 else $s$($i$) fi 
\\[0ex], $\lambda$$i$,$t$. if $t$ $<$z ${\it t'}$ then (($f$($t$,$i$)).2).1 else null fi 
\\[0ex], $\lambda$$i$,$t$. if $t$ $<$z ${\it t'}$ then ($f$($t$,$i$)).2.2 else [] fi 
\\[0ex], $\lambda$$i$.NullMachine
\\[0ex], $d$
\\[0ex], $\cdot>$
\-
\end{tabbing}